Definition of mathematical logic

Definitions

Noun

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Back to Top

formal logic symbolic logic

Back to Top

logic logical system system of logic

Back to Top

Boolean algebra Boolean logic functional calculus fuzzy logic modal logic predicate calculus propositional calculus propositional logic

Back to Top